Les modèles numériques des microhabitats des passons : application et nouveaux développements

Morphologie et disposition des stigmates respiratoires chez les larves hexapodes des ixodidae

Etude des symétries dans les modèles finis

Finite modele search for first order logic theories is a complementary alternative to automated deduction. Systems like Falcon, SEM and FMSET use the LNH(Least Number Heuristic) heuristic to eliminate some trivial symmetries. Such symmetries are worthful, but their exploitation is limited to the first levels of the model search tree, since they desappear as soon as the first cells have been ins...

Evaluation de l'apport des aspects, des sujets et des vues pour la composition et la réutilisation des modèles

The reuse, the evolution or the fast adaptation of the code of an application are among the strongest concerns of companies. Model engineering tries to bring a solution putting the model in the center of the software development and by capturing the business know-how initially described in the code of the application. This approach has the advantage to make the description independant of softwa...

Des Chaînes Et Des Antichaînes Dans Les Ensembles Ordonnés Finis

résumé – L’un des nombreux domaines dans lesquels Bruno Leclerc a travaillé et publié est celui des ensembles ordonnés. Plus précisément, il s’est fortement intéressé à des propriétés d’ensembles ordonnés relatives à des sous-structures bien particulières, les chaînes et les antichaînes. Beaucoup de problèmes de tri, de recherche et d’ordonnancement que l’on rencontre par exemple en informatiqu...

Qualité des langages de modélisation et des modèles : vers un catalogue des patrons collaboratifs

The quality of modeling languages and models as well as their evaluation are an important concern for the designer. Moreover, the proliferation of quality concepts’ definition and the large number of works that appear every day, require the structuring and the pooling of knowledge of this field. In this paper, we propose a collaboratif patterns’ system that capitalizes the knowledge on the qual...